A constructive theory of point-set nearness
نویسندگان
چکیده
An axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology.
منابع مشابه
A First—order Constructive Theory of Nearness Spaces
A first—order axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for constructive topology.
متن کاملApartness spaces as a framework for constructive topology
An axiomatic development of the theory of apartness and nearness of a point and a set is introduced as a framework for constructive topology. Various notions of continuity of mappings between apartness spaces are compared; the constructive independence of one of the axioms from the others is demonstrated; and the product apartness structure is defined and analysed.
متن کاملApartness and formal topology
The theory of formal spaces and the more recent theory of apartness spaces have a priori not much more in common than that each of them was initiated as a constructive approach to general topology. We nonetheless try to do the first steps in relating these competing theories to each other. Formal topology was put forward in the mid 1980s by Sambin [8] in order to make available to Martin–Löf’s ...
متن کاملErik Palmgren and Peter Schuster
The theory of formal spaces and the more recent theory of apartness spaces have a priori not much more in common than that each of them was initiated as a constructive approach to general topology. We nonetheless try to do the first steps in relating these competing theories to each other. Formal topology was put forward in the mid 1980s by Sambin [11] in order to make available to Martin–Löf’s...
متن کاملDevelopment and Validation of a Parenting Styles Scale based on Glasser\'s Choice Theory
The present study set out to develop and validate a parenting styles questionnaire based on Glasser’s choice theory. The design of this quantitative research was correlational. The statistical population of the study was comprised of all parents of 7- to 18-year-old students in District 6 of Tehran in 2018. The drawn sample (N= 360) was selected by random multi-stage cluster sampling method. At...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 305 شماره
صفحات -
تاریخ انتشار 2003